Designing Voting Machines for Verification
نویسنده
چکیده
We provide techniques to help vendors, independent testing agencies, and others verify critical security properties in direct recording electronic (DRE) voting machines. We rely on specific hardware functionality, isolation, and architectural decision to allow one to easily verify these critical security properties; we believe our techniques will help us verify other properties as well. Verification of these security properties is one step towards a fully verified voting machine, and helps the public gain confidence in a critical tool for democracy. We present a voting system design and discuss our experience building a prototype implementation based on the design in Java and C.
منابع مشابه
Verifying Security Properties in Electronic Voting
Verifying Security Properties in Electronic Voting Machines
متن کاملVerification and Validation Issues in Electronic Voting
Electronic democracy (e-democracy) is a necessity in this era of computers and information technology. Electronic election (e-election) is one of the most important applications of e-democracy, because of the importance of the voters’ privacy and the possibility of frauds. Electronic voting (e-voting) is the most significant part of e-election, which refers to the use of computers or computeris...
متن کاملSecure Electronic Voting with Cryptography
In recent years, computer and network-based voting technologies have been gradually adopted for various elections. However, due to the fragile nature of electronic ballots and voting software, computer voting has posed serious security challenges. This chapter studies the security of computer voting and focuses on a cryptographic solution based on mix-nets. Like traditional voting systems, mix-...
متن کاملDRE-i and Self-Enforcing E-Voting
This chapter1 describes a research experience of designing, implementing and trialling a new e-voting system called Direct Recording Electronic with Integrity (DRE-i). DRE-i is an example of a new category of voting systems that are end-to-end (E2E) verifiable without involving any tallying authorities. Such voting systems are termed “self-enforcing e-voting”.
متن کاملEvery Vote Counts: Ensuring Integrity in Large-Scale Electronic Voting
This paper presents a new End-to-End (E2E) verifiable e-voting protocol for large-scale elections, called Direct Recording Electronic with Integrity (DRE-i). In contrast to all other E2E verifiable voting schemes, ours does not involve any Tallying Authorities (TAs). The design of DRE-i is based on the hypothesis that existing E2E voting protocols’ universal dependence on TAs is a key obstacle ...
متن کامل